机译：基于智能仪表的家用能源报告：每小时使用时生成系统的设计和运行
机译：综合列车停留时间调节和火车速度轮廓生成用于高密度地铁线路的自动列车操作：分布式最优控制方法
机译：通过考虑高峰小时和偏心时间基于基于资费（ABT）机制的重组电力系统中的自动生成控制（AGC）操作
机译：自动生成用于矩阵运算的循环不变式
机译：自动生成快速矩阵乘法算法
机译：使用多对比度琼斯矩阵光学相干断层扫描和半自动训练数据集生成的基于机器学习的视神经头部分割
机译：为矩阵运算自动生成循环不变量
机译：用于自动测试生成的稀疏矩阵技术的扩展
